menu: deprecate horizontal-padding and vertical-padding
authorCosimo Cecchi <cosimoc@gnome.org>
Tue, 27 Nov 2012 14:04:12 +0000 (09:04 -0500)
committerCosimo Cecchi <cosimoc@gnome.org>
Wed, 28 Nov 2012 15:09:16 +0000 (10:09 -0500)
commit01dc23cdec377c9d9897cc32bf28ec1d241b29fa
treed30e09b6b44c081185f053a5225af811464b2713
parenta69619edbc2b36aadbff200918ea9f11885d6109
menu: deprecate horizontal-padding and vertical-padding

https://bugzilla.gnome.org/show_bug.cgi?id=689168
gtk/gtkmenu.c